Recognition, modeling and pricing of flexibility in construction of cave mining systems