If I wanted to determine whether a domain has set up mx records, how could I accomplish this with PHP?