MetroFi wants $9M from Portland to finish WiFi