If inflation was 3% per year, nominal GDP grew at 8% per year, and the population grew at 2% per year, what was the growth rate of real GDP per capita?