Brazil police kill 13 would-be bank robbers: officials