A study on the performance of over-roof-top propagation models in dense urban environment