Birkhoff normal forms in the energy space