Doctors transplant genetically modified pig heart into a man