Introduction to SageMath, a free mathematics software system