Arete Platon : Sintesis Aposteriori untuk Audit Pajak Usaha Pertambangan (Studi Kasus Tambang Golongan A : Minyak Bumi)