A lipid-structured mathematical model of atherosclerosis with macrophage proliferation