Mathematical models for the synthesis and optimization of spiral bevel gear tooth surfaces. [for helicopter transmissions