Overview
Instead of using raw tips, we need to use tip / max_gas to consider the amount of the work caused by the transaction. Super heavy transactions should have less priority than easier ones with the same tip.
Implementation details
It would be nice to use fractions instead of floating numbers to sort transactions.