Colt halting production of AR-15 and other rifles for civilian market