Roma-Inter, storia e numeri di una grande rivalità