A mixed method analysis of fatal attacks on police by far-right extremists