Why the flag at Windsor Castle was not flying half-mast during Prince Philip's funeral