The constructive equivalence of covering and inductive dimensions