По какой формуле вычисляют длину дуги окружности?