Workers compensated as vast Indonesian brothel closes