A trade-off methodology for micro-launchers