First-principles modeling of He-clusters in UO2