mob lynching definition