Minimization of Operational Costs for Non-Capitation Claims Verification at BPJS Kesehatan Using a Business Process Reengineering Approach