The Procore founder has crafted one of tech's biggest secrets: A multi-billion-dollar app bringing the world's construction projects onto the cloud