how does a mazda rx7 rotary engine work