Galaxy Gaming posts 25% boost in first-quarter revenue