Formula 1 lap time modeling using generalized additive models