Proportionally fair scheduling