Simultaneous Scheduling, Binding and Layer Assignment for Synthesis of Vertically Integrated 3D Systems