Semicompressible Ocean Thermodynamics and Boussinesq Energy Conservation