Lifted Inference with Linear Order Axiom