Use of software-defined radio receivers in two-way satellite time and frequency transfers for UTC computation