Topological aspects of band theory