Heterostructures of Topological Insulators and Superconductors