Should NFL fines be a percentage of player salaries?