Three-dimensional simulations of embolic stroke and an equation for sizing emboli from imaging