Called after a player mines tiles.
player_index: uint32surface_index: uint32 — The surface the tile(s) were mined from.tiles: Array<OldTileAndPosition> — The position data.name: defines.events — Identifier of the eventtick: uint32 — Tick the event was generated.