STICHTING PENSIOENFONDS ABP portfolio value