Band representations of space groups