Optimality conditions and regularity results for time optimal control problems with differential inclusions