How Many Small Cells Can Be Turned off via Vertical Offloading under a Separation Architecture?