Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces