An effective bound for reflexive sheaves on canonically trivial 3-folds Resolution of singularities of threefolds in positive characteristic. I: Reduction to local uniformization on Artin-Schreier and purely inseparable coverings 