Lagos bans sand mining