Does anyone know the name of the smooth polished gray plastic like material they used to make the floor out of in my high school?