A variational time discretization for compressible Euler equations