New Fixed Point Theorems and Application of Mixed Monotone Mappings in Partially Ordered Metric Spaces