LogicSolver: Towards Interpretable Math Word Problem Solving with Logical Prompt-enhanced Learning