Paul Baum: What is K-theory and what is it good for?