Tear-film dynamics and oxygen tension under a circular contact lens