Marin baseball team makes history with new tech umpire