jingtian: Implement mining