Second Order Nonlinear Evolution Inclusions I: Existence and Relaxation Results