Mechanistic approaches to asymmetric synthesis of aziridines from guanidinium ylides and aryl aldehydes