If the UK backs US-led strikes in Syria, what British hardware and weaponry would be at the military's disposal?