Topological Insulator-Superconductor Heterostructures and Devices