The force exerted by a valve spring to close the diesel engine valves, is proportional to __________.