The ocean swimming skills we must learn from Georgia Miller’s winning swim