Optimal control of differential inclusions