US, UK and France have launched a joint military strike. Here is a summary of what has happened