who were the developers for portal?
valve corporation