Extending the lifetime of a quantum bit with error correction in superconducting circuits