A Realist Philosophy of Mathematics