A robust cell cycle control mechanism limits E2F-induced proliferation of terminally differentiated cells in vivo