Rethinking Loss Functions for Fact Verification