US Gas Prices Slip Below $4 as Summer Driving Season Begins