Removability anaysis of rock blocks by block theory and a probabilistic approach