The proper forcing axiom and the singular cardinal hypothesis