An extended shelter or a non-slip flooring at MRT platforms to prevent slippery accidents on rainy days?