Cubical sets as a classifying topos