Redistribution is not bad for economic growth: Evidence from the IMF