Four things non-Greeks should know about the Greek election