Cross-Layer Resource Allocation via Geometric Programming in Fading Broadcast Channels