[2312.08410] Universal approximation property of Banach space-valued random feature models including random neural networks