Data rate theorem for stabilization over fading channels