Replication Data for: Double-diffusive layering during the evolution of planetary mantles