"Avengers: Infinity War" sets a box office record