Lotus 87 (1980–1982): F1