Necessary conditions for optimal control problems: conjugate points