Infeasibility Certificates and the Complexity of the Core in Coalitional Games