Condensation energy of a superconductor