Application of receding horizon optimal control to DICE integrated assessment models