Non-characteristic mixed problems for non-linear symmetric hyperbolic systems