When do British police officers carry guns?

Security forces shot dead Khalid Masood who was born Adrian Russell Ajao after Westminster attacks