Finite element formulations for compressible flows