Genetic engineering of attenuated malaria parasites for vaccination