What are Patriot missiles – and why are supplies dwindling worldwide?

First used in the 1991 Gulf War, the US Patriot air defence system has seen demand spike sharply this year