implementado operador <=>