Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees