¿Quién desarrolló el formalismo matemático de la relatividad especial de Einstein?