Proper forcing axiom and selective separability