We are grateful to Avi Rubin of AT&T Labs and the anonymous referees for providing encouragement and helpful comments.
