北京工学院是原五机部的北京工业学院，现北京理工大学？