Scalable Spectrum Availability Prediction using a Markov Chain Framework and ITU-R Propagation Models