Towards a philosophical account of explanation in mathematics