is a mazda rx7 a rotary engine