Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics