Software used to count Australian Senate votes is a “trade secret”