LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization