Micron to exit server chips business in China after ban, sources say