Part of Development of the Availability Concept by Using Fuzzy Theory with AHP Correction, a Case Study: Bulldozers in the Open-Pit Lignite Mine