Doritos launches new ketchup, mustard flavors in U.S