First principles modeling of zirconium solution in bulk UO2