Virginia becomes first state to use contact-tracing app