A survey on BGP MRAI timer values in practice