Theory of a two-stage hypervelocity launcher to give constant driving pressure at the model