Formal Mathematics Statement Curriculum Learning