A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations