Timing-driven placement based on monotone cell ordering constraints