Stochastic stabilization based on kinetic-potential energy shaping for stochastic mechanical port-Hamiltonian systems | Synapse