A theoretical study of the cis-dihydroxylation mechanism in naphthalene 1,2-dioxygenase