What are the face mask ties? Are they elastic or tape ties?