Efficient and explainable ship selection planning in port state control