brunei king net worth