Derivation and analysis of compressible multiphase flow models