Petrologic evolution of Krakatau (Indonesia): Implications for a future activity