Carleman Estimates and Applications to Inverse Problems for Hyperbolic Systems