Converting NGDP to RGDP with a Price Index