Geometrical and topological methods in optimal control theory