Notes on principal bundles and classifying spaces