Hunting for extremal Latin squares using MaxSAT solver