Classifying spaces of algebras over a prop