RandLA-Net: Efficient Semantic Segmentation of Large-Scale Point Clouds