A compressible two-fluid model for the finite volume simulation of violent aerated flows. Analytical properties and numerical results