asal-muasal nama pulau bangka