Stochastic Automata Networks and Lumpable Stochastic Bounds: Bounding Availability