Optimizing mini-ridge filter thickness to reduce proton treatment times in a spot-scanning synchrotron system.