CARE: certifiably robust learning with reasoning via variational inference