A Survey on Approximation Algorithms for Scheduling with Machine Unavailability