An introduction to univalent foundations for mathematicians