Just had a small but noticeable earthquake in Frisco