Penn gives professors discretion over mask policies in class