A Petri-net approach for firefighting force allocation analysis of fire emergency response with backups