Weighted Shortest Job First Formula