Common fixed point theorems for contraction type mappings in partially ordered metric spaces