Child star Gary Coleman dies