I understand rust is faster than dart but wonder why rust was used over dart. As I understand it dart can be used for the backend and there would be no need for interop between flutter and rust if dart was used. Just interested in the choices.