Janata Samajwadi Party formally registered at Election Commission