Simulation of Gaussian channels via teleportation with applications to error correction and secret-key capacities.