China bans major chip maker Micron from key infrastructure projects