Searching for actual causes: Approximate algorithms with adjustable precision