Finite BMS transformations