Weak antilocalization in high-mobility two-dimensional systems