Actor Gary Coleman dies at 42