Proporsi Tenaga Kerja Formal Berdasarkan Provinsi (2023)