Kodifikasi hukum