Superconducting proximity effect and Majorana fermions at the surface