does the mazda rx7 have a rotary engine