Stellar models of multiple populations in globular clusters - I. The main sequence of NGC 6752