An approach to efficient planning with numerical fluents and multi-criteria plan quality