Insights into aragonite diagenesis as evidenced from spelean carbonate