A framework for synthetic control methods with high-dimensional, micro-level data: evaluating a neighborhood-specific crime intervention