Existence of solutions for second-order evolution inclusions