Stress changes, focal mechanisms, and earthquake scaling laws for the 2000 dike at Miyakejima (Japan)