Strasbourg Christmas market gunman shot dead by French police