Film fans spent more money on tickets to see Vin Diesel, Dwayne Johnson and Gal Gadot than any other actors in 2017, box office data shows.