Quality supervision and control of dock repair management for jack-up oil production platforms