Carleman Estimates and Applications to Uniqueness and Control Theory