LoFT: Enhancing Faithfulness and Diversity for Table-to-Text Generation via Logic Form Control